#include "junix.h"

int
main(int argc, char **argv)
{
	char *buf = __buildin_alloca(10);
	exit(0);
}

